#include <pthread.h>
#include "smp_essentials.h"
pthread_mutex_t THE_MUTEX = PTHREAD_MUTEX_INITIALIZER;


/*
int mutexInit();
int mutexDeinit();
*/
int lock(mutex_id mutex)
{
	return pthread_mutex_lock(&THE_MUTEX);
}

int unlock(mutex_id mutex)
{
	return pthread_mutex_unlock(&THE_MUTEX);
}